1. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
1
.
L4
v
.
873
2. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
کتابخانه: (طهران)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
رده :
QA
3
.
L28
Vol
.
873
3. Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
پدیدآورنده : edited by F. Richman
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
4. Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968
پدیدآورنده : Edited by A. Kino, J. Myhill and R. E. Vesley
کتابخانه: (طهران)
موضوع : Congresses ، Intuitionistic mathematics
رده :
QA
9
.
C742
5. The Kleene Symposium : proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisconsin, U.S.A
پدیدآورنده : edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
کتابخانه: (طهران)
موضوع : Congresses ، Recursion theory,Congresses ، Intuitionistic mathematics,، Kleene, Stephen Cole, 9091-4991
رده :
QA
9
.
6
.
K53
1978
6. The L.E.J. Brouwer Centenary Symposium
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : 1966. ; Constructive mathematics ; Congresses. ; Intuitionistic mathematics ; Congresses. ; -Brouwer, L. E. J. ; (Luitzen Egbertus Jan), ; 1881
7. The L.E.J. Brouwer Centenary Symposium : proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981
پدیدآورنده : edited by A.S. Troelstra and D. Van Dalen
کتابخانه: (طهران)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
رده :
QA
9
.
56
.
L2
1981
8. The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
پدیدآورنده : edited by A.S. Troelstra and D. van Dalen
کتابخانه: (طهران)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
رده :
QA
9
.
56
.
L2
1981
